Περιεχόμενα: Προτασιακή Λογική και Πρωτοβάθμια Λογική (Σύνταξη, Σημασιολογία, Ορθότητα, Πληρότητα). Στοιχεία Θεωρίας Αποδείξεων (Hilbert systems, tableaux, Gentzen systems). Στοιχεία Λογικού Προγραμματισμού. Μη κλασικές Λογικές (modal, temporal, non-monotonic logic) και εφαρμογές στην Τεχνητή Νοημοσύνη.

Αξιολόγηση: Γραπτή εξέταση στο τέλος του εξαμήνου. Ενδέχεται να δοθούν προαιρετικές εργασίες.

Μέθοδοι αξιολόγησης: Ερωτήσεις σύντομης απάντησης, Ερωτήσεις πολλαπλής επιλογής, Επίλυση προβλημάτων.

-

Βιβλιογραφία:

1. H. B. Enderton, Μία μαθηματική εισαγωγή στη Λογική, η έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013. Κωδικός στον Εύδοξο: 32998373
2. Γ. Τουρλάκης, Μαθηματική Λογική: θεωρία και πράξη, 1η έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2012. Κωδικός στον Εύδοξο: 12405096
3. Χ. Χαρτώνας, Βασική Λογική, Ζήτη, 2000. Κωδικός στον Εύδοξο: 11127